Remarques sur les Langages de Parenthèses
نویسندگان
چکیده
La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la famille des langages de parentheses est une sous-ciasse de la famille des iangages N.T.S., retrouvant le resultat de Takahashi commc corollaire d’un resultat plus general [Cc]. Now etablissons ensuite deux petites proprietis des langages de parentheses qui les reliant aux iangages parenthittiques et multi-parenthetiques.
منابع مشابه
Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles
Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...
متن کاملJooFlux : modification de code à chaud et injection d'aspects directement dans une JVM 7
Résumé Modifier les portions fonctionnelles et non-fonctionnelles des applications au cours de leur exécution est utile et parfois critique tant lors des phases de développement que de suivi en production. JooFlux est un agent JVM qui permet à la fois de remplacer dynamiquement des implémentations de méthodes que d’appliquer des aspects. Il fonctionne en opérant des transformations de bytecode ...
متن کاملLangages Algébriques et Systèmes de Réécriture Rationells
— In this paper, a new methodfor generating languages is introduced. It consists of the définition ofafinite number ofrules ofthe type: fug may be replacedby fvg iffbelongs to a given regular language. It is proved that any de terminis tic language which is prefix can be generated starting from finite sets anditerating such rules. Conversely under suitable hypotheses on the R(u, v) the language...
متن کاملRelationals Morphisms and Operations on Recognizable Sets
— Relational morphisms betweenfinite monoids (a notion due to Tilson) are used to study the effect certain opérations on recognizabie sets have on the syntactic monoids ofthose sets. This leads to concise proofs ofa number ofknown results concerning the product opération, and a new resuit concerning the star opération. Résumé. — On utilise les morphismes relationnels (dus à Tilson) pour étudier...
متن کاملLe modèle OFL au service du métaprogrammeurApplication à Java
RÉSUMÉ. OFL est le sigle de Open Flexible Languages et le nom d’un métamodèle des langages de programmation à classes. Il repose sur trois concepts essentiels de ces langages : les descriptions qui sont une généralisation de la notion de classe, les relations telles l’héritage ou l’agrégation et les langages eux-mêmes. OFL offre un paramétrage de ces trois concepts dans le but d’adapter leur sé...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 31 شماره
صفحات -
تاریخ انتشار 1984